# Copyright 1999-2009 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $

inherit eutils
DESCRIPTION="Simplify Theorem Prover"
HOMEPAGE="http://kind.ucd.ie/products/opensource/Simplify/"
MY_PN=Simplify
MY_PV=1.5.5-13-06-07
SRC_URI="http://kind.ucd.ie/products/opensource/archives/${MY_PN}-${MY_PV}-binary.zip"
LICENSE="as-is"
SLOT="0"
KEYWORDS="x86"
IUSE=""
DEPEND=""
RDEPEND="${DEPEND}"

src_install() {
	cd ${WORKDIR}/${MY_PN}
	newbin Simplify-1.5.4.linux Simplify
}
